601. Introduction to the theory of programming Languages
پدیدآورنده: Meyer, Bertrand
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming languages(Electronic computers) ► Programming languages (Electronic computers)- Semantics
رده :
005
M612i
602. Introduction to the theory of programming Languages
پدیدآورنده: Meyer, Bertrand
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming languages(Electronic computers) ► Programming languages (Electronic computers)- Semantics
رده :
005
M612i
603. Introduction to the theory of programming languages
پدیدآورنده: / by Bertrand Meyer and Societe des outils du logiciel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)- Semantics
رده :
QA76
.
7
.
M49
1988
604. Introduction to the theory of programming languages
پدیدآورنده: Bertrand meyer
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Programming languages )Electronic computers(,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
,.
7
.
M49
1990
605. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Programming languages )Electronic computers(,Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
M49
606. Introduction to the theory of programming languages
پدیدآورنده: Bertrand Meyer,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Programming languages )Electronic computers(,Programming languages )Electronic computers(, Semantics
رده :
QA
.
M49
76
.
7
1988
607. Introduction to the theory of programming languages
پدیدآورنده: / bertrand Meyer,Meyer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Programming language (Electronic Computers),Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
7
.
M49
1990
608. Introduction to the theory of programming languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Programming languages (Electronic computers) ; Semantics. ;
609. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand, 0591-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Programming languages )electronic computers(,، Programming languages )electronic computers( - Semantics
رده :
QA
76
.
7
.
M4I5
610. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand, 1950-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)►Programming languages (Electronic computers)- Semantics
رده :
76
.
7
.
M49
611. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
1991
612. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
7
.
M49
1988
613. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand, 0591-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Programming languages )Electronic computers(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
614. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M4I5
1988
615. Introduction to the theory of programming languages
پدیدآورنده: / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA76
.
7
.
D6813
2011
616. Introduction to the theory of programming languages
پدیدآورنده: / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
D6813
,
2011
617. Introduction to the theory of programming languages
پدیدآورنده: / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers), Semantics
رده :
QA76
.
7
.
D6813
2011
618. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
M49
1988
619. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M49
1988
620. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
پدیدآورنده: Roberto Di Cosmo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
رده :
QA
76
.
7
.
D48
